Henk Barendregt

#	Item
11	Introduction to Lambda Calculus Henk Barendregt Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-04-12 10:42:50 Predicate logic Computability theory Formal methods Models of computation Combinatory logic Free variables and bound variables Function Variable First-order logic Mathematics Mathematical logic Lambda calculus
12	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-02-07 07:09:47 Applied mathematics Type theory Theory of computation Logic in computer science Typed lambda calculus Simply typed lambda calculus Henk Barendregt Programming language theory Radboud University Nijmegen Theoretical computer science Lambda calculus Computer science